Is derivative of cos^2x/2 - ln|cosx| + C = cos^2(x)tan^3(x)